It's probably better to keep this as a single struct, especially given that there are other eligible types, e.g. usize for array lengths.

Right, good call. Would be good to check how this would look like with the new type ir as well I think

Don't mind the other commits for now, I am experimenting with how far we can shrink InferenceResult (568 bytes). I have gotten it down to 368 so far.

So I was curious and checked the impact on memory. This saves 4 megabytes 😞 I'm sorry to say I don't think it's worth the effort.

Not surprising, we do not have that many InferenceResults

I do think most of the changes here are still good either way but let's put this to the side until the trait solver lands

Not surprising, we do not have that many InferenceResults

We don't? In analysis-stats every function has.